A Formal Analysis of KGP Agents
نویسندگان
چکیده
This paper contributes to the identification, formalisation and analysis of desirable properties of agent models in general and of the KGP model in particular. This model is specified in computational logic, and consequently lends itself well to formal analysis. We formalise three notions of welfare, in terms of goal achievement, progress, and reactive awareness, and we prove results related to these notions for KGP agents. These results broadly demonstrate the coherence of some of the design decisions in the KGP model, the need for some of its components for effectiveness in goal achievement, the extent to which the welfare of KGP agents can be shown to improve during their life-time, and the awareness of the agents of their reactions to changes in the environment.
منابع مشابه
The KGP Model of Agency
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture with a highly modular structure that synthesises various reasoning and sensing capabilities of the agent in an open and dynamic environment. The novel features of the model include: its innovative use of Computational L...
متن کاملNormative KGP agents
We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles an agent plays and the obligations and prohibitions that result from playing these roles. The proposed framework illustrates how the resulting normative concepts, including the roles, can evolve dynamically during the lifetime of the agent. Furthermore, we illustrate how t...
متن کاملComputational Logic and Agent Based Systems
Il Milione: A Journey in the Computational Logic in Italy 70 SOMMARIO/ABSTRACT Viene descritto l'utilizzo della logica computazionale a supporto della formalizzazione ed implementazione di agenti in sistemi multi-agente. In questo ambitò e necessario l'uso di varie forme di logica computazionale, tra le quali abduzione, argomentazione e sistemi basati su preferenze. Viene presentato a grandi li...
متن کاملDecision Making with a KGP Agent System
A human user is centrally involved in a Decision Support System (DSS) task, whereas for an autonomous agent system, a user’s role is a more abstract notion of oversight and approval. In this paper, we examine the potential integration of a multi-agent architecture into a DSS. The motivation in this work is to utilise autonomous agent problemsolvers within a suitable multi-agent framework in suc...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کامل